xendomains script: Small fix

From: Fabian Zimmermann <xen-users@z-technologies.de>
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/tools/hotplug/Linux/init.d/xendomains b/tools/hotplug/Linux/init.d/xendomains
index e353441bd574e6fc16c2ebf419021cabc0168fd7..70b5b8fdcf01940cff691f5b0ec04ca19c278e8b 100644 (file)
--- a/tools/hotplug/Linux/init.d/xendomains
+++ b/tools/hotplug/Linux/init.d/xendomains
@@ -182,11 +182,11 @@ rdnames()
 
 parseln()
 {
-    if [[ "$1" =~ "\(domain" ]]; then
+    if [[ "$1" =~ '(domain' ]]; then
         name=;id=
-    else if [[ "$1" =~ "\(name" ]]; then
+    else if [[ "$1" =~ '(name' ]]; then
         name=$(echo $1 | sed -e 's/^.*(name \(.*\))$/\1/')
-    else if [[ "$1" =~ "\(domid" ]]; then
+    else if [[ "$1" =~ '(domid' ]]; then
         id=$(echo $1 | sed -e 's/^.*(domid \(.*\))$/\1/')
     fi; fi; fi